Institutions for OCL-Like Expression Languages
نویسندگان
چکیده
An institution for the “Object Constraint Language” (OCL) is described. First, a general framework for building institutions for OCL-like languages is defined. This framework is instantiated for a substantial subset of OCL.
منابع مشابه
UML/OCL – Detaching the Standard Library
The Object Constraint Language (or variations of it) is increasingly being used as a text based navigation or expression language over Object-based modelling languages other than the original target of UML. The recent increase of Domain Specific Languages has in particular contributed to this process. As a consequence, it is useful to investigate the lengths to which an OCL like expression lang...
متن کاملOCL Component Invariants
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for instance, can be used to state invariants and preand post-conditions in class diagrams. We discuss some problems in ensuring non-local, navigating OCL class invariants, as for bidirectional associations, in programming lan...
متن کاملIntegrating OCL and Textual Modelling Languages
In the past years, many OCL tools achieved a transition of OCL from a language meant to constrain UML models to a universal constraint language applied to various modelling and metamodelling languages. However, OCL users still experience a discrepancy between the now highly extensible parsing and evaluation backend of OCL tools and the lack of appropriate frontend tooling like advanced OCL edit...
متن کاملModular Embedding of the Object Constraint Language into a Programming Language
The Object Constraint Language (OCL) is a well-accepted ingredient in model-driven engineering and accompanying modeling languages like UML (Unified Modeling Language) or EMF (Eclipse Modeling Framework) which support object-oriented software development. Among various possibilities, OCL offers the formulation of state invariants and operation contracts in form of preand postconditions. With OC...
متن کاملA Comparison of Textual Modeling Languages: OCL, Alloy, FOML
Textual modeling languages are used in model-driven engineering for a variety of purposes. Among the most important purposes are querying a model and formulating restrictions like state invariants or operation preand postconditions. This paper compares three such languages. OCL augments UML as a precise language that provides constraint and object query expressions that cannot otherwise be expr...
متن کامل